581. Trends in software testing
پدیدآورنده : \ Hrushikesha Mohanty J.R. Mohanty Arunkumar Balakrishnan, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-book
,
582. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
583. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
584. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
585. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
586. WISER 2004 : ACM Workshop on Interdisciplinary Software Engineering Research : co-located with SIGSOFT 2004/FSE-12; November 5, 2004, Newport Beach, California, USA
پدیدآورنده : sponsored by SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
A284
2004
587. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
588. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
589. Web engineering
پدیدآورنده : Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
590. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
591. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
592. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Component software ; Congresses. ;
593. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
594. based software engineering :-Knowledge
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
595. based software engineering :-Search
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
596. focused software process improvement :-Product
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
597. oriented software engineering VI-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
598. oriented software engineering VII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
599. oriented software engineering VIII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
600. 3rd IEEE Symposium on Application-Specific Software Engineering Technology: proceedings, March 24-25, 2000, Richardson, Texas
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Application software,Congresses ، Software engineering
رده :
QA
76
.
76
.
A65
.
I52
2000
